\begin{tabbing}
ecl{-}trans{-}state{-}from($v$;$z$;$L$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=let $T$,${\it ks}$,$i$,$g$,$h$,$a$,$e$ = $v$ in \+
\\[0ex]list\_accum($x$,$a$.$a$/$k$,${\it zz}$. ${\it zz}$/$s$,$v$. if deq{-}member(KindDeq;$k$;${\it ks}$)$\rightarrow$ $g$($k$,$s$,$v$,$x$) else $x$ fi;$z$;$L$)
\-
\end{tabbing}